options vfio-pci ids=<vendor-id-1>,<vendor-id-2>...
